Prophecy and History

Prophecy and History: Structuring the Abridgment of the Nephite Records

Utilizing techniques adapted from literary criticism, this paper investigates the narrative structure of the Book of Mormon, particularly the relationship between Nephi’s first-person account and Mormon’s third-person abridgment. A comparison of the order and relative prominence of material from 1 Nephi 12 with the content of Mormon’s historical record reveals that Mormon may have intentionally...

Prophecy: Using History for High-Throughput Fault Tolerance

Byzantine fault-tolerant (BFT) replication has enjoyed a series of performance improvements, but remains costly due to its replicated work. We eliminate this cost for read-mostly workloads through Prophecy, a system that interposes itself between clients and any replicated service. At Prophecy’s core is a trusted sketcher component, designed to extend the semi-trusted load balancer that mediate...

Prelude, prophecy, and promise.

Prophecy and Theater

The paradigms used to examine the Hebrew prophetic literature are changing. This paper contributes to that change by developing a paradigm drawn from Drama Theory and applying that paradigm to the vision reports found in the book of Amos. The outcome is a form critical study that yields beneficial results in understanding both the design and flow of the visions as well as their integration with...

The Prophecy of Undo

Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.